Towards an Automatic Integration of Statecharts
نویسندگان
چکیده
The integration of statecharts is part of an integration me thodology for object oriented views Statecharts are the most important language for the representation of the behaviour of objects and are used in many object oriented modeling techniques e g in UML In this paper we focus on the situation where the behaviour of an object type is represented in several statecharts which have to be integrated into a single statechart The presented approach allows an automatic integration process but gives the designer possibilities to make own de cisions to guide the integration process and to achieve qualitative design goals
منابع مشابه
From MSCs to Statecharts
Message Sequence Charts (MSCs) have gained wide acceptance for scenario-based specifications of component behavior (see, for instance, [IT96, BMR+96, Rat97, BHKS97]). In particular, they have proven useful in the requirements capture phase of the software development process. However, up to now, most development methods do not assign a precise meaning to this graphical description technique. Mo...
متن کاملAutomatic Test Generation from Statecharts Using Model Checking
This paper describes a method for automatic generation of tests from specifications written in Statecharts. These tests are to be applied to an implementation to validate the consistency of the implementation with respect to the specification. For test coverage, we adapt the notions of control-flow coverage and data-flow coverage used traditionally in software testing to Statecharts. In particu...
متن کاملFrom the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications
In order to design and implement multiagent systems, the specification method should be as expressive and comprehensive as possible. Statecharts, which are capable of describing dynamic systems and are widely accepted in the computer science community, are applied and investigated for this objective. In this paper, multiagent systems are studied in the domain of robotic soccer, where the behavi...
متن کاملModel-level Automatic Test Generation for Uml Statecharts
We present a framework for model-level testing of behavioral UML models. For automatic test generation, we use planner algorithms to deal with the complexity of UML models. Our approach is characterized by an automatic and metamodeldriven transformation from UML statecharts to a tool independent representation of planner algorithms from which the input language of concrete planner tools can be ...
متن کاملModeling Portlet Aggregation Through Statecharts
A portal is a key component of an enterprise integration strategy. It provides integration at the user interface level, whereas other integration technologies support business process, functional or data integration. To this end, portlet syndication is the next wave following the successful use of content syndication in current portals. A portlet is a front-end application which is rendered wit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999